● Négation d'une proposition p proposition qui résulte de la proposition p par l'ajout du connecteur ¬ (« ¬ p » se lit « non-p »). [Dans la sémantique bivalente classique, la proposition ¬ p est vraie exactement si p est fausse, fausse exactement si p est vraie.]
Encyclopédie Universelle. 2012.
Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
négation — [ negasjɔ̃ ] n. f. • negatiun XII e; lat. negatio, de negare « nier » 1 ♦ Acte de l esprit qui consiste à nier, à rejeter un rapport, une proposition, une existence; expression de cet acte. Négation de Dieu. Négation de la vérité, des valeurs. ⇒… … Encyclopédie Universelle
Proposition contraposee — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Negation logique — Négation logique Pour les articles homonymes, voir Négation. En logique et en mathématiques, la négation est un opérateur logique unaire, on dit aussi connecteur logique. Il sert à créer une proposition à partir d une autre en en inversant la… … Wikipédia en Français
Négation (linguistique) — Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose à l’affirmation. Bien… … Wikipédia en Français
Proposition contraposée — La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l… … Wikipédia en Français
Négation logique — Pour les articles homonymes, voir Négation. En logique et en mathématiques, la négation est un opérateur logique unaire, on dit aussi connecteur logique unaire. Il sert à créer une proposition à partir d une autre en en inversant la signification … Wikipédia en Français
Negation du genocide armenien — Négation du génocide arménien Cet article présente le point de vue des personnes niant ou remettant en cause le génocide arménien, ainsi que la situation en Turquie à cet égard. Sommaire 1 Contestation de la qualification de génocide 1.1 Le débat … Wikipédia en Français
Negation en francais — Négation en français Article principal : Négation (linguistique). Sommaire 1 Syntaxe de la négation 1.1 Règle générale 1.2 Le « ne » explétif et comparatif … Wikipédia en Français
